Actors that Unify Threads and Events

There is an impedance mismatch between message-passing concurrency and virtual machines, such as the JVM. VMs usually map their threads to heavyweight OS processes. Without a lightweight process abstraction, users are often forced to write parts of concurrent applications in an event-driven style which obscures control flow, and increases the burden on the programmer. In this paper we show how thread-based and event-based programming can be unified under a single actor abstraction. Using advanced abstraction mechanisms of the Scala programming language, we implemented our approach on unmodified JVMs. Our programming model integrates well with the threading model of the underlying VM

Continuation-Passing C: compiling threads to events through continuations

In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note: substantial text overlap with arXiv:1202.324

Neutralizing antibody vaccine for pandemic and pre-emergent coronaviruses

Betacoronaviruses (betaCoVs) caused the severe acute respiratory syndrome (SARS) and Middle East Respiratory Syndrome (MERS) outbreaks, and the SARS-CoV-2 pandemic1–4. Vaccines that elicit protective immunity against SARS-CoV-2 and betaCoVs circulating in animals have the potential to prevent future betaCoV pandemics. Here, we show that macaque immunization with a multimeric SARS-CoV-2 receptor binding domain (RBD) nanoparticle adjuvanted with 3M-052/Alum elicited cross-neutralizing antibody (cross-nAb) responses against batCoVs, SARS-CoV-1, SARS-CoV-2, and SARS-CoV-2 variants B.1.1.7, P.1, and B.1.351. Nanoparticle vaccination resulted in a SARS-CoV-2 reciprocal geometric mean neutralization ID50 titer of 47,216, and protection against SARS-CoV-2 in macaque upper and lower respiratory tracts. Importantly, nucleoside-modified mRNA encoding a stabilized transmembrane spike or monomeric RBD also induced SARS-CoV-1 and batCoV cross-nAbs, albeit at lower titers. These results demonstrate current mRNA vaccines may provide some protection from future zoonotic betaCoV outbreaks, and provide a platform for further development of pan-betaCoV vaccines

Large-Eddy Simulations of Magnetohydrodynamic Turbulence in Heliophysics and Astrophysics

We live in an age in which high-performance computing is transforming the way we do science. Previously intractable problems are now becoming accessible by means of increasingly realistic numerical simulations. One of the most enduring and most challenging of these problems is turbulence. Yet, despite these advances, the extreme parameter regimes encountered in space physics and astrophysics (as in atmospheric and oceanic physics) still preclude direct numerical simulation. Numerical models must take a Large Eddy Simulation (LES) approach, explicitly computing only a fraction of the active dynamical scales. The success of such an approach hinges on how well the model can represent the subgrid-scales (SGS) that are not explicitly resolved. In addition to the parameter regime, heliophysical and astrophysical applications must also face an equally daunting challenge: magnetism. The presence of magnetic fields in a turbulent, electrically conducting fluid flow can dramatically alter the coupling between large and small scales, with potentially profound implications for LES/SGS modeling. In this review article, we summarize the state of the art in LES modeling of turbulent magnetohydrodynamic (MHD) ows. After discussing the nature of MHD turbulence and the small-scale processes that give rise to energy dissipation, plasma heating, and magnetic reconnection, we consider how these processes may best be captured within an LES/SGS framework. We then consider several special applications in heliophysics and astrophysics, assessing triumphs, challenges,and future directions

Breadth of SARS-CoV-2 neutralization and protection induced by a nanoparticle vaccine

Coronavirus vaccines that are highly effective against current and anticipated SARS-CoV-2 variants are needed to control COVID-19. We previously reported a receptor-binding domain (RBD)-sortase A-conjugated ferritin nanoparticle (scNP) vaccine that induced neutralizing antibodies against SARS-CoV-2 and pre-emergent sarbecoviruses and protected non-human primates (NHPs) from SARS-CoV-2 WA-1 infection. Here, we find the RBD-scNP induced neutralizing antibodies in NHPs against pseudoviruses of SARS-CoV and SARS-CoV-2 variants including 614G, Beta, Delta, Omicron BA.1, BA.2, BA.2.12.1, and BA.4/BA.5, and a designed variant with escape mutations, PMS20. Adjuvant studies demonstrate variant neutralization titers are highest with 3M-052-aqueous formulation (AF). Immunization twice with RBD-scNPs protect NHPs from SARS-CoV-2 WA-1, Beta, and Delta variant challenge, and protect mice from challenges of SARS-CoV-2 Beta variant and two other heterologous sarbecoviruses. These results demonstrate the ability of RBD-scNPs to induce broad neutralization of SARS-CoV-2 variants and to protect animals from multiple different SARS-related viruses. Such a vaccine could provide broad immunity to SARS-CoV-2 variants

Reconnection and electron temperature anisotropy in sub-proton scale plasma

Turbulent behavior at sub-proton scales in magnetized plasmas is important for a full understanding of the energetics of astrophysical flows such as the solar wind. We study the formation of electron temperature anisotropy due to reconnection in the turbulent decay of sub-proton scale fluctuations using two dimensional, particle-in-cell (PIC) plasma simulations with realistic electron-proton mass ratio and a guide field out of the simulation plane. A fluctuation power spectrum with approximately power law form is created down to scales of order the electron gyroradius. In the dynamic mag- netic field topology, which gradually relaxes in complexity, we identify the signatures of collisionless reconnection at sites of X-point field geometry. The reconnection sites are generally associated with regions of strong parallel electron temperature anisotropy. The evolving topology of magnetic field lines connected to a reconnection site allows spatial mixing of electrons accelerated at multiple, spatially separated reconnection re- gions. This leads to the formation of multi-peaked velocity distribution functions with a strong parallel temperature anisotropy. In a three-dimensional system, supporting the appropriate wave vectors, the multi-peaked distribution functions would be expected to be unstable to kinetic instabilities, contributing to dissipation. The proposed mecha- nism of anisotropy formation is also relevant to space and astrophysical systems where the evolution of the plasma is constrained by linear temperature anisotropy instability thresholds. The presence of reconnection sites leads to electron energy gain, nonlocal ve- locity space mixing and the formation of strong temperature anisotropy; this is evidence of an important role for reconnection in the dissipation of turbulent fluctuations

Continuations and behavior components engineering in multi-agent systems

International audienceContinuations are a well established programming concept, allowing to explicitly capture and resume the current program state. They are present in several functional programming languages (such as Scheme), in concurrent models such as Hewitt actor model or process calculi, and more recently in dynamic programming languages (such as Ruby, Smalltalk, Python, and even Javascript or Java). They have been applied to automaton programming, cooperative threads, compilation techniques, and have lastly raised interest in web application programming. This paper shows how this concept happens to be especially useful and elegant to program agent behaviors (or behavioral components), while increasing code readability and ease of writing. The proposed approach especially facilitates modular interaction protocol implementation, one of the main difficulties in conversational agents engineering